This book consists of the chapters describing novel approaches to integratingfault tolerance into software development process. They cover a wide range oftopics focusing on fault tolerance during the different phases of the softwaredevelopment, software engineering techniques for verification and validation offault tolerance means, and languages for supporting fault tolerancespecification and implementation. Accordingly, the book is structured into thefollowing three parts: Part A: Fault tolerance engineering: from requirementsto code; Part B: Verification and validation of fault tolerant systems; Part C:Languages and Tools for engineering fault tolerant systems.
展开▼